n (algebra|logic|computing) Any function based on the operations AND, OR and NOT, and whose elements are from the domain of Boolean algebra